Programming Logic – alle Bücher online kaufen

Logic Programming and Nonmonotonic Reasoning

This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024. The 2…

lieferbar innerhalb 2-3 Wochen

Buch

Mai Gehrke, Sam van Gool
Topological Duality for Distributive Lattices

"This introduction to Stone-Priestley duality theory brings modern tools in the area together in textbook format for the first time and covers applications to logic and theoretical computer science. This …

lieferbar innerhalb 1-2 Wochen

Buch

Ji¿í Adámek, Stefan Milius, Lawrence S. Moss
Initial Algebras and Terminal Coalgebras

"This definitive treatment of results in category theory and theoretical computer science covers classical material from new viewpoints and develops a wealth of new topics. The centrepiece is a collection…

lieferbar innerhalb 2-3 Wochen

Buch

Jeremy Kubica
Graph Algorithms the Fun Way

Enter the wonderful world of graph algorithms, where you’ll learn when and how to apply these highly useful data structures to solve a wide range of fascinating (and fantastical) computational problems. …

sofort lieferbar

Buch

Foundations of Software Science and Computation Structures

Lecture Notes in Computer Science -Band 14574

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took pla…

lieferbar innerhalb 2-3 Wochen

Buch

Foundations of Software Science and Computation Structures

Lecture Notes in Computer Science -Band 14575

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took pla…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods

Lecture Notes in Computer Science -Band 14934

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 5…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods

Lecture Notes in Computer Science -Band 14933

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 5…

lieferbar innerhalb 2-3 Wochen

Buch

Practical Aspects of Declarative Languages

This book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025, held in Denver, CO, USA, during January 20-21, 2025. The 15 fu…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Programming Logic" - alle Bücher